1978年度ACMチューリング賞受賞記念講演 プログラミングのパラダイム